A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Why does cryptographic software fail? A case study and open problems David Lazar, Haogang Chen, Xi Wang, and Nickolai Zeldovich MIT CSAIL if ((err = SSLHashSHA1.update(...)) != 0)

Source URL: people.csail.mit.edu

• Cryptography
• Cryptographic software
• Cryptographic protocols
• Transport Layer Security
• Secure communication
• Cryptographic primitive
• Cryptographic engineering
• OpenSSL
• Cryptographic hash function
• Padding oracle attack
• Man-in-the-middle attack
• Cryptographically secure pseudorandom number generator

MR Findings in Methanol Intoxication H. Penney Gaul, Carla J. Wallace, Roland N. Auer, and T. Chen Fong Summary: We report the MR and CT findings with pathologic correlation in a case of severe methanol intoxication. The

Source URL: thetruthaboutstuff.com

Static Detection of Packet Injection Vulnerabilities – A Case for Identifying Attacker-controlled Implicit Information Leaks Qi Alfred Chen, Zhiyun Qian† , Yunhan Jack Jia, Yuru Shao, Z. Morley Mao University of Mich

Source URL: www.cs.ucr.edu

The Case for Making Tight Control Plane Latency Guarantees in SDN Switches Huan Chen⇤ UESTC and Duke University

Source URL: cs.brown.edu

• Computing
• Information and communications technology
• Data transmission
• Network protocols
• Ethernet
• Computer networking
• Internet architecture
• Network architecture
• Software-defined networking
• OpenFlow
• Forwarding information base
• Border Gateway Protocol

The Case for Offload Shaping Wenlu Hu, Brandon Amos, Zhuo Chen, Kiryong Ha, Wolfgang Richter, Padmanabhan Pillai† , Benjamin Gilbert, Jan Harkes, Mahadev Satyanarayanan Carnegie Mellon University and † Intel Labs AB

Source URL: www.cs.cmu.edu

Pricing Cryptocurrency options: the case of CRIX and Bitcoin Cathy YH Chen * Wolfgang Karl Härdle * Ai Jun Hou * Weining Wang *

Source URL: crix.hu-berlin.de

Case Report A life-threatening complication of Atkins diet Tsuh-Yin Chen, William Smith, Jordan L Rosenstock, Klaus-Dieter Lessnau Lancet 2006; 367: 958 See Comment page 880

Source URL: www.researchgate.net

Maintenance Research in SOA — Towards a Standard Case Study — Tiago Espinha, Cuiting Chen, Andy Zaidman, Hans-Gerhard Gross Delft University of Technology The Netherlands {t.a.espinha, cuiting.chen, a.e.zaidman, h.g.

Source URL: www.st.ewi.tudelft.nl

19th Annual IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems The Case for Evaluating MapReduce Performance Using Workload Suites Yanpei Chen, Archana Ganapath

Source URL: yanpeichen.com